Defining syntax and providing tool support for Agent UML using a textual notation
نویسنده
چکیده
An important role in software engineering is played by design notations. The Agent UML (AUML) notation for sequence diagrams has been widely used to capture the design of interactions between agents. However, AUML is not precisely defined, and there is very little in the way of tool support available. We argue that using a textual notation allows the notation to be precisely defined, and facilitates the development of tool support. We present a textual notation that we have developed, and describe a number of tools that support this notation. One of these tools is a ‘renderer’ which takes a textual AUML protocol and generates the standard graphical view. The layout of graphical elements in the generated graphical view is done automatically, using a layout algorithm which we present.
منابع مشابه
Informations- und prozeßorientierte Modellierung verteilter Systeme auf der Basis von Feature-structure-Netzen
The increasing requirements on distributed software systems like internet applications have raised the complexity to a level which current approaches can no longer cope with. This trend leads to a high demand for approaches that allow an adequate specification of distributed systems. One of the corner stones of system specification is a modeling language or modeling technique, which defines syn...
متن کاملA Model-Based Formalization of the Textual Notation for SDL-UML
The Specification and Description Language (SDL) is a domain specific language that is well-established in the telecommunication sector since many years, but only a small set of SDL tools is available. In contrast, for the Unified Modeling Language (UML) a wide range of different kinds of tools can be used for various purposes, such as model transformation. In order to makes it possible to spec...
متن کاملA Tool for Defining Agent Protocols in HAPN: (Demonstration)
This demonstration is exhibiting an interactive tool for defining agent protocols using a new notation “HAPN” which we have developed to overcome issues we have experienced with commonly used agent protocol notations such as AUML. The notation has a formal semantics which facilitates back end support within the tool for checking desirable or undesirable properties of a specification. The notati...
متن کاملVisualized and Abstract Formal Modeling Towards The Multi-Agent Systems
Multi-agent systems technology has generated lots of incitements, because of it used for distributed, intelligent and safety critical system. The failure of some system may cause the loss of human life, severe injuries, loss of money and environmental damages. To get the robust, safe and reliable multi-agent system it requires formal modeling and step by step refinement for its construction and...
متن کاملVisualizing and Editing Ontology Fragments with OWLGrEd
The OWLGrEd ontology editor allows graphical visualization and authoring of OWL 2.0 ontologies using a compact yet intuitive presentation that combines UML class diagram notation with textual Manchester syntax for class expressions. Here we show, how to integrate OWLGrEd with ontology module mechanism from OWL API to obtain on-demand ontology fragment visualization that is essential for many ex...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- IJAOSE
دوره 1 شماره
صفحات -
تاریخ انتشار 2007